Vitalik Buterin congratulated the zkSync airbender team on their milestone and declared the speed race for zkEVMs won, calling for a full pivot to formal verification of equivalence, prover cost bounds and proof system security.